From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท4hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Bringing Vision-Language Intelligence to RAG with ColPali
towardsdatascience.comยท2d
๐Ÿค–Advanced OCR
Flag this post
My Wishlist for PHP in 2026
stitcher.ioยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Rewriting HTML with the Fastly JavaScript SDK
fastly.comยท1d
๐ŸŽฌWebCodecs
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท18h
๐Ÿ“Log Parsing
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท1hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท21hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Ajla Tutorial
ajla-lang.czยท22hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท43m
โšกProof Automation
Flag this post
Build Your Own Forum with FastAPI: Step 8 - Full Text Search
dev.toยท11hยท
Discuss: DEV
๐Ÿ”Information Retrieval
Flag this post
Show HN: Vision-Based, Vectorless RAG for Long Douments
github.comยท5hยท
Discuss: Hacker News
๐Ÿค–Advanced OCR
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
๐Ÿ’งLiquid Types
Flag this post
ICU4X 2.1 released!
blog.unicode.orgยท1d
๐Ÿ”คUnicode Normalization
Flag this post
Down with template (or not)!
cedardb.comยท22h
๐ŸŽฏGradual Typing
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท3hยท
๐Ÿ—‚Data structures
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post